We show how to extract effective bounds Φ for $\bigwedge u^1 \bigwedge v \leq_\gamma tu \bigvee w^\eta G_0$ -sentences which depend on u only (i.e. $\bigwedge u \bigwedge v \leq_\gamma tu \bigvee w \leq_\eta \Phi uG_0$ ) from arithmetical proofs which use analytical assumptions of the form \begin{equation*}\tag{*}\bigwedge x^\delta\bigvee y \leq_\rho sx \bigwedge z^\tau F_0\end{equation*} (γ, δ, ρ, and τ are arbitrary finite types, η ≤ 2, G0 and F0 are quantifier-free, and s and t are closed terms). If τ (...) ≤ 2, (*) can be weakened to $\bigwedge x^\delta, z^\tau\bigvee y \leq_\rho sx \bigwedge \tilde{z} \leq_\tau z F_0$ . This is used to establish new conservation results about weak König's lemma. Applications to proofs in classical analysis, especially uniqueness proofs in approximation theory, will be given in subsequent papers. (shrink)

Spirituality is rarely researched within an academic setting; where it is, it is typically understood as a dependent variable that is measured or assessed via questionnaires or behavioural forms of observation (e.g. spirituality as a mediator of life-satisfaction). In the current article, by contrast, I introduce the concept of processual (or meditative) thinking as an instrument to explore spiritual activity as a mode of research rather than a dependent variable. An empirical access route to this manner of processual thinking will (...) be described and I will illustrate how such processual thinking can complement the standard repertoire of scientific enquiry. (shrink)

Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT\)-spaces X for \ and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this context as instances of a general logical phenomenon.

Dai Zhen’s philosophy of language took the opportunity of a transition in Chinese philosophy to develop a form of humanist positivism, which was different from both the Song and Ming dynasties’ School of Principles and the early Qing dynasty’s philosophical forms. His philosophy of language had four primary manifestations: It differentiated between “names pointing at entities and real events” and “names describing summum bonum and perfection”; In discussing the metaphysical issue of “the Dao,” it was the first to introduce a (...) syntax analysis of linguistics, clearly differentiating between the different roles of predicate verbs “zhi wei” and “wei zhi” in Classical Chinese; In criticizing Confucian thought during the Song and Ming dynasties, it adopted specific philological skills such as the analysis of phraseology, the meaning of sentences and the thread of words in texts; and It re-interpreted the meaning of Confucian classics by studying characters and language, adopting a positivist and philological manner to seek metaphysical sense in philosophy. In this way, his philosophy was different from the scholars of the School of Principles during the Song and Ming dynasties and from the goal of Western linguistic philosophy in the 20th century, which refuted metaphysics. Accordingly, it helped to develop 18th century Chinese philosophy as it turned towards linguistic philology. (shrink)

Although the topic of value congruence has attracted considerable attention from researchers and practitioners, evidence for the link between person–supervisor value congruence and followers’ reactions is less robust than often assumed. This study addresses three central issues in our understanding of person–supervisor value congruence by assessing the impact of objective person–supervisor value congruence rather than subjective value congruence, by examining the differential effects of value congruence in strongly versus moderately held values, and by exploring perceived empowerment as a central mediating (...) mechanism. Results of a multi-source study comprising 116 person–supervisor dyads reveal that objective value congruence relates to followers’ job satisfaction and affective commitment and that this link can be explained by followers’ perceived empowerment. Moreover, polynomial regression and response surface analyses reveal that congruence effects vary with the importance that leaders and followers ascribe to a certain value: Congruency in strongly held values have more robust relations with followers’ outcomes than congruence in moderately held values. (shrink)

Mitte der fünfziger Jahre entsteht mit den Arbeiten der amerikanischen Linguisten Zellig S. Harris und Noam Chomsky die Theorie der generativen (Transformations-)Grammatiken a) Chomskys Grammatikmodell in den "Aspects" ... b) Entwicklung der Theorie ... nach 1965 ...

Das Begriffspaar O.-M. spielt eine wichtige Rolle für die Theorie formalisierter Wissenschaftssprachen bzw. formalisierter wissenschaftlicher Theorien. Die wichtigste Verwendung dieses Begriffspaars geht zurück auf Alfred Tarskis grundlegende Arbeit "Der Wahrheitsbegriff in den formalisierten Sprachen". ...

Les débats actuels au sujet de la « voie chinoise » sont intimement liés à deux questions primordiales. Premièrement, quelle espèce de modernisation cette « voie chinoise » représente-t-elle? Et deuxièmement, quel rapport entretient-elle avec la sinisation du marxisme? Cet article vise à répondre à ces enjeux à partir d’une double perspective, celle du récit historique et celle de la philosophie de l’histoire. Cet article soutient que la modernisation à la chinoise est née des conditions historiques particulières du xx e (...) siècle et que la sinisation du marxisme, en tant que méthodologie, s’est montrée capable de cerner la nature et la signification de ces conditions. Au xxi e siècle, la « voie chinoise » représente un projet socialiste en renouvellement continu. Apportant un début de réponse à la crise mondiale du post-néolibéralisme, elle en quête des possibilités d’une nouvelle forme de civilisation. (shrink)

Along with the Chan’s “linguistic turn”, the significance of sutras, which were despised and even regarded as the obstacle to complete enlightenment, became accepted by the Chan. Due to Yanshou’s contributions, the principle that emphasized the diversity of teaching in terms of the relationship between meaning and expression in the Sui and Tang Dynasties has been changed into a system which stressed the importance of the root/branches relationship of the mind and words. According to Yanshou, the conflict between the Chan (...) and doctrinal teachings is resolved by highlighting the significance of words. Yanshou’s work greatly inspired the Chan’s interest in words in the Song Dynasty. (shrink)

One of the attractions of new converts from mainline churches to the African Instituted Churches (AICs) is faith healing. Healing understood in its wider sense asthe restoration of the wholeness of life is not new to African communities, since they practiced it long before the coming of Christianity into their continent. This article examines some features of traditional healing which are manifested in faith healing in the AICs. The persistence of these features pauses a challenge to mainline churches in Africa, (...) forcing them to rethink their approach to life threatening issues such as witchcraft and barrenness that continue to preoccupy many of their adherents. (shrink)

Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The Basic Structure of Neoclassical (...) General Equilibrium Theory. Klaus MANHART: Balance Theories: Two Reconstructions and the Problem of Intended Applications. Rainer WESTERMANN: Festinger's Theory of Cognitive Dissonance: A Structuralist Theory-Net. Rainer REISENZEIN: Wundt's Three-Dimensional Theory of Emotion. Pablo LORENZANO: Classical Genetics and the Theory-Net of Genetics. Hinne HETTEMA and Theo A.F. KUIPERS: The Formalisation of the Periodic Table. C. ULISES MOULINES: The Basic Core of Simple Equilibrium Thermodynamics. Thomas BARTELBORTH: An Axiomatization of Classical Electrodynamics. Author's Index. Subject Index. (shrink)

Abstract:By combining normative philosophy and empirical social science, we craft a research framework for assessing differential expectations embodied in normative conceptions of the economic social contract in the United States. We argue that there are distinct views of such a contract grounded in individualist and communitarian philosophical ideologies. We apply this framework to organizational downsizing, postulating that certain human resource practices, in combination with the respective ideological orientations, will affect perceptions of the justice of downsizing policies.

Since the dawn of molecular biology, cancer therapy has focused on druggable targets. Despite some remarkable successes, cell‐level evolution remains a potent antagonist to this approach. We suggest that a deeper understanding of the breakdown of cooperation can synergize the evolutionary and druggable‐targets approaches. Complexity requires cooperation, whether between cells of different species (symbiosis) or between cells of the same organism (multicellularity). Both forms of cooperation may be associated with nutrient scarcity, which in turn may be associated with a chemiosmotic (...) metabolism. A variety of examples from modern organisms supports these generalities. Indeed, mammalian cancers—unicellular, glycolytic, and fast‐replicating—parallel these examples. Nutrient scarcity, chemiosmosis, and associated signaling may favor cooperation, while under conditions of nutrient abundance a fermentative metabolism may signal the breakdown of cooperation. Manipulating this metabolic milieu may potentiate the effects of targeted therapeutics. Specific opportunities are discussed in this regard, including avicins, a novel plant product. (shrink)

Religious, philosophical, and theological views on the self vary widely. For some the self is seen as the center of human personhood, the ultimate bearer of personal identity and the core mystery of human existence. For others the self is a grammatical error and the sense of self an existential and epistemic delusion. In Western psychology, philosophy, and theology, the term 'self' is often used as a noun that refers not to the performance of an activity or to a material (...) body per se but rather to a (gendered) organism that represents the presence of something distinct from its materiality. This volume documents a critical and constructive debate between critics and defenders of the self or of the no-self that explores the intercultural dimensions of this important topic."-- Back cover. (shrink)

The aim of this paper is to explore the conditions under which generalisation from single case studies, in the sense of making inferences concerning a wider class of phenomena beyond a case, is reasonable. Two sets of conditions, in particular, provide the basis for our consideration of this issue. The first is an exploration of the impressive amount of empirical knowledge that is contained within the theories that are used to make observations, to classify phenomena, and to understand and interpret (...) cases. The second is recognition of the role of a pattern of inference known as abduction, or inference to the best explanation, in drawing conclusions from case studies. It is argued that these two conditions, when applied to the procedures for conducting case studies, can be used to defend, as reasonable, the making of certain provisional generalisations from single cases. An epistemological procedure for testing and further justifying these generalisations, with a particular emphasis on dealing with the problem of confirmation bias, is then discussed and recommended. (shrink)

Introduction Stored human samples and the establishment of biobanks are increasing in the world. Along with this there are the questions of ethics that arise such as the correct method of obtaining informed consent for research on stored samples and the policies involved in collaborative research using collected samples. This study is an attempt to evaluate the researchers, academics and policy makers' views on these ethical aspects. Methods This was an anonymised study involving a Sri Lankan population of researchers, ethics (...) committee members, and policy makers. A self administered questionnaire was utilised as the study instrument. The questionnaire captured four major areas of interest: demographic characteristics of respondents, their attitudes on informed consent policy, their opinion on rights of collaborating researchers, their attitudes on dealing with international differences in regulatory frameworks. Results The study included 55 responders with 40/55 agreeing that donors should receive the option of giving informed consent for future research, with 31/55 considering multiple- type consent options most appropriate. Regarding the issue of shared samples in collaborative research majority agreed that source country ethics review committee approval was necessary 53/55. Conclusion The study concludes that sample donors should be given the option of giving advance consent to unspecified future research provided that future research is approved by an ethics committee. In collaborative research, it is necessary to involve ethics committees from donor countries in the research approval process. (shrink)

Although social contracts theory has been applied to organizations (Donaldson & Dunfee, 1994), rarely has the theory been tested empirically. This article uses the traditions of communitarianism and individualism to instantiate an ideal-type economic social contract. We asked 269 subjects to complete the Ideological Orientation Scale and to make judgments on eight downsizing scenarios. Using social judgment theory, we assess the direct and indirect influences of ideology on judgments of fairness. Our findings suggest that ideology indeed shapes individual’s conceptions of (...) organizational fairness. (shrink)

The ideas of love and justice have received a lot of attention within theology, philosophy, psychology, sociology, and neuroscience in recent years. In theology, the theological virtues of faith, hope, and love have become a widely discussed topic again. In philosophy, psychology and neuroscience research into the emotions has led to a renewed interest in the many kinds and forms of love. And in moral philosophy, sociology, and political science questions of justice have been a central issue of debate for (...) decades. But many views are controversial, and important questions remain unanswered. In this volume the authors focus on issues that take the relations between the two topics into account. The contributions move from basic questions about the relationships between love and justice through specific, but central problems of a just practice of love to social and political issues of the practice of justice in today's society. Contributors:Richard Amesbury, Ingolf U. Dalferth, Trisha M. Famisaran, Thomas Jared Farmer, Everett Fullmer, Duncan Gale, Kirsten Gerdes, Deidre Green, Eric E. Hall, W. David Hall, Trevor W. Kimball, Ulrich H. J. Körtner, Richard Livingston, Thaddeus Metz, Anselm K. Min, Rob Overy-Brown, Raymond E. Perrier, Panu-Matti Pöykkö, Stephen J. Pope, T. Raja Rosenhagen, Jonathan Russell, Regina M. Schwarz, Roberto Sirvent, Justina M. Torrance, Nicholas Wolterstorff. (shrink)